101. Introduction to mathematical logic
Author: Elliott Mendelson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical -- Problems, exercises, etc.,Logic, Symbolic and mathematical.
Classification :
QA9
.
E455
2015


102. Introduction to mathematical logic; set theory computable functions model theory
Author: Malitz, Jerome
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, symbolic and mathematical
Classification :
511
M426i


103. Introduction to mathematical logic : set theory, computable functions, model theory
Author: Malitz, Jerome
Library: Central library and information center (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
M265
1979


104. Introduction to mathematical logic; set theory computable functions model theory
Author: Malitz, Jerome
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, symbolic and mathematical
Classification :
511
M426i


105. Introduction to mathematical logic: Set theory computable functions model theory
پدیدآورنده : Jerome Malitz
موضوع : Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
106. Introduction to mathematical logic : set theory computable functions model theory
Author: Jerome Malitz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
M265
1979


107. Introduction to mathematical logic: set theory, computable funtions, model theory
Author: Malitz, Jerome
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
M26


108. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Author: by Dov M. Gabbay.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
Classification :
BC199
.
M6
B936
1976


109. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018


110. Logic Colloquium' 96 :
Author: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA9
.
A1
E358
1998


111. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
Classification :
QA
9
.
A1
.
L63
1987


112. Logic, Language, and Probability :
Author: edited by Radu J. Bogdan, Ilkka Niiniluoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.

113. Logic and its applications :
Author: Kamal Lodaya (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
Classification :
QA9
.
A1
K363
2013


114. Logic colloquium 82
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic, Symbolic and mathematical -- Congresses►Model theory -- Congresses
Classification :
9
.
A1
,
L63
1982

115. Logic, language, information, and computation :
Author: Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
W67
2013


116. Logica universalis
Author: / Jean-Yves Beziau, editor
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Model theory
Classification :
QA9
.
2
.
L64
2005


117. Logica universalis
Author: / Jean-Yves Beziau, editor
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Model theory.
Classification :
QA
,
9
.
2
,.
L64
,
2005


118. Many Valued Topology and its Applications
Author: by Ulrich Höhle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Topology.

119. Mathematical Logic; an introduction to model theory
Author: Lightstone, A. H.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical
Classification :
511
L724m


120. Mathematical Logic; an introduction to model theory
Author: Lightstone, A. H.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical
Classification :
511
L724m

